Issue1976.agda:20,1-8
A != B of type Set
when checking the clause left hand side
F wrong
